Autor: Wang, Arne Se han encontrado 1 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Artículo |
An axiomatic basis for proving total correctness of goto-programs: | Wang, Arne |
(1976) |
---------- |